Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
771	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
772	Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-05-11 21:04:51 Functional languages Lisp programming language String Racket Technical communication Scheme Here document Literate programming Eval Computing Software engineering Computer programming
773	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
774	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
775	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory
776	Profiling For Laziness Matthias Felleisen Stephen Chang Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-11-08 13:58:15 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
777	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science
778	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
779	Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Compiler construction Parsing Lexical analysis American Sign Language Lex Expr Hindley–Milner Computing Software Programming language implementation
780	REDUCE User’s Manual Version 3.8 Anthony C. Hearn Santa Monica, CA, USA Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2009-01-18 15:38:14 Polynomials Linear algebra Functional analysis Matrix Array programming Vector space Generalizations of the derivative Linear Outline of algebra Algebra Mathematics Abstract algebra

UPDATE